single-decree Paxos